Reasoning about Hierarchies of Online Program Specialization Systems
نویسندگان
چکیده
We present the language S Graph n the core of a multi level metaprogramming environment for exploring foundational issues of self applicable online program specialization We illustrate how special purpose S Graph n primitives can be used to obtain an e cient and conceptually simple encoding of programs as data objects The key feature of the encoding scheme is the use of nu merical indices which indicate the number of times that a program piece has been encoded Evaluation of S Graph n is formalized via an operational seman tics This semantics is used to justify the fundamental operations on metavariables special purpose tags for tracking unknown values in self applicable online specialization systems We show how metavariables can be used to construct biased generating extensions without relying on a separate binding time analysis phase
منابع مشابه
Generalization in Hierarchies of Online Program Specialization Systems
In recent work, we proposed a simple functional language S-graph-n to study metaprogramming aspects of self-applicable online program specialization. The primitives of the language provide support for multiple encodings of programs. An important component of online program specialization is the termination strategy. In this paper we show that such a representation has the great advantage of sim...
متن کاملReduction of Language Hierarchies
We study the structure of language hierarchies and their reduction by two forms of metacomputation in order to overcome the time and space complexity of language hierarchies. We show that program specialization and program composition are sufficient to reduce all forms of language hierarchies constructed from interpreters and translators. We argue that the reduction of language hierarchies is a...
متن کاملA proof system for adaptable class hierarchies
The code base of a software system undergoes changes during its life time. For object-oriented languages, classes are adapted, e.g., to meet new requirements, customize the software to specific user functionalities, or refactor the code to reduce its complexity. However, the adaptation of class hierarchies makes reasoning about program behavior challenging; even classes in the middle of a class...
متن کاملThe Making of a New Medical Specialty: A Policy Analysis of the Development of Emergency Medicine in India
Background Medical specialization is an understudied, yet growing aspect of health systems in low- and middleincome countries (LMICs). In India, medical specialization is incrementally, yet significantly, modifying service delivery, workforce distribution, and financing. However, scarce evidence exists in India and other LMICs regar...
متن کاملThe Specialization Problem and the Completeness of Unfolding
We discuss the problem of specializing a deenite program with respect to sets of positive and negative examples, following BI94]. This problem is very relevant in the eld of inductive learning. First we show that there exist sets of examples that have no correct program, i.e., no program which implies all positive and no negative examples. Hence it only makes sense to talk about specialization ...
متن کامل